7 Conclusion and Future Work

نویسندگان

  • A. P. A. van Moorsel
  • M. Ajmone Marsan
چکیده

15] A. Cumani. ESP-A package for the evaluation of stochastic Petri nets with phase-type distributed transitions times. modeling of an automated manufacturing system with deterministic and stochastic Petri nets. net analysis of a replicated le system.mated generation and analysis of Markov reward models using Stochastic Reward Nets. 16 of (000111; 1), which is set to seven. Then, we can solve the embedded DTMC for steady state and obtain a steady-state probability vector ~ for the embedded process. The steady-state probability vector of the actual process is then obtained by weighting ~ according to the holding times, a well known result applicable to the steady-state solution of any semi-Markov process 8]: s = ~ s h s (P u2S ~ u h u) ?1. For transient analysis, the same idea can be applied, but in a much more restricted way. If, at step n, every state in S n] is such that the minimum time before a change of marking is k > 1, we can eeectively perform an embedding. In the modiied power method algorithm, this requires advancing n by k instead of just one step in the outermost loop and adjusting the increment of Y in statement 3 accordingly. It should be noted, however, that this situation is unlikely to occur, since the set S n] may contain many states s = (;), and, for each of them, the DTMC describing the ring time of each enabled transition t in must satisfy min n l 2 IN : Prf l] t = 0 j 0] t = t g > 0 o k: This is analogous to the requirement for an eecient application of adaptive uniformization 28] and, as stated in the introduction, it is unlikely to happen in general, especially for large values of F. We deened a class of discrete-time distributions which, when used to specify the ring time of the transitions in a stochastic Petri net, ensures that the underlying stochastic process is a DTMC. We then gave conditions under which the transient analysis of this DTMC can be performed even if the state space is innnite. In practice, though, the memory requirements might still be excessive, hence we explored some state-space reduction techniques. The implementation of a computer tool based on the DDP-SPN formalism is under way. In particular, algorithms for the eecient computation of the rows of the transition probability matrix, s; , are …

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A survey of junior medical student’s attitude toward medicine and its future

Introduction. Medical student's attitude toward their future profession can significantly affect the quality of education and their eagerness for learning and practical use of scientific principles. This study was conducted to research about the junior medical student’s attitudes toward medicine after their entrance to the university. Methods. 54 junior students entering the medical school in ...

متن کامل

Mapping Strategies for the Augmented Tango Shoe by Laura Sinnott

3 Chapter 1: Introduction 4 7 Chapter 2: Related Work 8 28 Chapter 3: Approach & Methodology 29 – 39 Chapter 4: Description of the Augmented Tango Shoe System 40 46 Chapter 5: Design, Implementation, Results, & Discussion 47 58 Chapter 6: Conclusion & Future Work 59 – 60 Appendix A: Acronyms 61 Bibliography 62 68 Mapping Strategies for the Augmented Tango Shoe

متن کامل

Reducing Processing Time for a LCD Motion Blur Reduction Algorithm

.................................................................................................................................................... 4 Introduction ............................................................................................................................................. 5 Background .................................................................................

متن کامل

Survey of Teachers' quality of Work Life in Mehriz in 2018

Introduction: The quality of work-life plays a significant role in employee satisfaction and organizational effectiveness. Due to their direct educational impacts, teachers play a unique role in nurturing future generations of society. This study aimed to investigate the quality of the work-life of teachers in Mehriz City. Methods: This descriptive practical study was carried out among 440 peo...

متن کامل

The Implications of Global Neurosurgery for Low- and Middle-Income Countries. The Case of Cameroon.

The unequal distribution of neurosurgical resources and diseases in the world contributes to inequality. Eight in ten neurosurgical cases needing essential neurosurgical care are found in low- and middle-income countries (LMICs); however, LMICs lack the neurosurgical resources to address these needs. Besides, where neurosurgical care is available, it is not financially accessible to the majorit...

متن کامل

Dynamic Data Dissemination Using Multi-Query Optimization in Distributed Databases

01 Chapter 1: Introduction 02 Chapter 2: An Overview of Query Processing 04 Chapter 3: DDAG 08 Chapter 4: Distributed Query Optimization 10 Chapter 5: View Materialization using DDAG 11 Chapter 6: View Replacement 16 Chapter 7: Results 17 Chapter 8: Conclusion and Future Work 19 References 20

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995